Proof of knowledge - PDFSEARCH.IO - Document Search Engine

Proof of knowledge
Results: 441

#	Item
141	Composition of Zero-Knowledge Proofs with Efficient Provers∗ Eleanor Birrell† Salil Vadhan‡ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-12-07 14:26:58 Cryptographic protocols Complexity classes Interactive proof system Zero-knowledge proof Proof of knowledge Quantum complexity theory IP NP Soundness Theoretical computer science Computational complexity theory Cryptography
142	On “AI meets Formal Software Development” Alan Bundy   AI of the Gaps? Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Automated theorem proving Mathematical logic Mathematical proof Proof Ontology Mathematics Logic Knowledge
143	The knowledge to change the world UB School of Social Work Faculty Report 2006–07 Living proof. research makes a difference. Living Proof Add to Reading List Source URL: socialwork.buffalo.edu Language: English - Date: 2014-07-31 13:25:03 Knowledge Academics Science Academia Stephen Gilson School counselor Evidence-based practice Scientific method Social work
144	Different Kinds of Proof Henry Towsner Introduction Add to Reading List Source URL: www.sas.upenn.edu Language: English - Date: 2014-09-03 17:44:03 Proof theory Knowledge Logic Mathematician Mathematics Mathematical logic Mathematical proof
145	Jack: Scalable Accumulator-based Nymble System Zi Lin Nicholas Hopper Computer Science & Engineering Add to Reading List Source URL: www.freehaven.net Language: English - Date: 2011-01-03 02:35:49 Electronic commerce Cyberwarfare Computing Direct Anonymous Attestation Internet privacy XTR Security Proof of knowledge RSA Cryptographic protocols Public-key cryptography Cryptography
146	Universally Composable Adaptive Oblivious Transfer Matthew Green Susan Hohenberger Johns Hopkins University Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-09-14 17:22:59 Oblivious transfer Zero-knowledge proof Proof of knowledge Universal composability Communications protocol Public-key cryptography RSA XTR Blind signature Cryptography Cryptographic protocols Commitment scheme
147	Writing Across the Mathematics Curriculum In discussing Writing Across the Curriculum, mathematicians and non-mathematicians alike are inclined to ask when and how, if at all, would we use writing in mathematics courses. Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2002-06-05 19:42:38 Mathematical logic Mathematics education Mathematical proof Curriculum 0.999... Theorem IB Group 5 subjects Criticism of non-standard analysis Mathematics Logic Knowledge
148	Proof of Beal’s Conjecture (Condensed Version) By: Don Blazys and Brett Blazys (research assistant) Abstract: In all cases both logical and mathematical, it must be possible to substitute identities. In this paper, we Add to Reading List Source URL: donblazys.com Language: English - Date: 2013-04-30 16:36:53 Mysteries Prime number Mathematical proof Hodge conjecture Conjectures Mathematics Knowledge
149	Privacy and Verifiability in Voting Systems: Methods, Developments and Trends Hugo Jonkera,∗ , Sjouke Mauwa,b , Jun Panga a University of Luxembourg, Faculty of Sciences, Technology and Communication Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-09-25 07:33:00 Homomorphic encryption ElGamal encryption Probabilistic encryption Blind signature Encryption Ciphertext Goldwasser–Micali cryptosystem Cipher Zero-knowledge proof Cryptography Public-key cryptography Paillier cryptosystem
150	Basing Non-Interactive Zero-Knowledge on (Enhanced) Trapdoor Permutations: The State of the art Oded Goldreich Abstract. The purpose of this article is to correct the inaccurate account of this subject that is provided Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2010-07-22 08:07:12 Cryptographic protocols Computational complexity theory Proof theory Complexity classes Combinatorics Interactive proof system IP Soundness Non-interactive zero-knowledge proof Theoretical computer science Cryptography Applied mathematics

UPDATE